Proceedings Fifth Workshop on Intersection Types and Related Systems
نویسندگان
چکیده
منابع مشابه
Proceedings of the Fifth Workshop on Scheme and Functional Programming
This paper describes and discusses two different Scheme documentation tools. The first is SchemeDoc, which is intended for documentation of the interfaces of Scheme libraries (APIs). The second is the Scheme Elucidator, which is for internal documentation of Scheme programs. Although the tools are separate and intended for different documentation purposes they are related to each other in sever...
متن کاملProceedings of the Fifth Program Visualization Workshop
Adapted, or customized systems, are usual in most application areas. Those systems are able to take some variables into account and, depending of their values, behave differently. Customized systems can be very sophisticated but, once their foreseen parameters are taken into account, their interfaces are consequently fixed, and no change takes place at runtime. By no change we mean that there i...
متن کاملIn Proceedings of the Fifth International Workshop on Arti cial
This paper gives an overview of the design of aide, the Assistant for Intelligent Data Exploration, which assists humans in the early stages of data analysis. The system adopts a script-based planning approach to automating EDA. Data-directed mechanisms extract simple observations and suggestive indications from the data. Scripted EDA operations are then applied in goal-directed fashion to gene...
متن کاملProceedings of the Fifth Workshop on Semantic Wikis Linking Data
We present pest, a novel approach to approximate querying of structured wiki data that exploits the structure of that data to propagate term weights between related wiki pages and tags. Based on the pest matrix, eigenvectors representing the distribution of a term after propagation are computed. The result is an index which takes the document structure into account and can be used with standard...
متن کاملFifth Workshop on Programming Languages and Operating Systems
This report summarizes the Fifth Workshop on Programming Languages and Operating Systems (PLOS 2009), which was held in conjunction with the SOSP 2009 conference. This report presents the motivation for holding the workshop and summarizes the workshop contributions.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.45.0